منابع مشابه
Equivalence Checking of Dissimilar Circuits
We introduce the notion of a Common Specification of circuits that generalizes the current notion of structural similarity. A CS S of circuits N1 and N2 is a circuit of multi-valued blocks from which N1 and N2 can be produced by binary encoding. We show that the equivalence checking of N1,N2 in general resolution (which a non-deterministic proof system) is linear in the number of blocks in S. H...
متن کاملEquivalence-checking for Reversible Circuits
Reversible circuits arise in bottlenecks of quantum algorithms, such as Shor’s and Grover’s. More generally, they offer a way to embed an arbitrary conventional computation into the quantum domain, where it can be performed on multiple input combinations at once. Performance optimizations modify reversible circuits for speed, depth and to abide by physical constraints, e.g., of spin-chain archi...
متن کاملPrinted circuit board technology inspired stretchable circuits
VOLUME 37 • MARCH 2012 • www.mrs.org/bulletin © 2012 Materials Research Society Introduction The fi rst developments on stretchable circuits were reported in the early 2000s in a number of U.S.-based research institutes, including Lawrence Livermore National Laboratory, 1 Princeton University, 2 and Johns Hopkins University. 3 All of these technologies used thin-fi lm metallization (evaporation...
متن کاملEquivalence Checking of Dissimilar Circuits II
In this report we revisit the theory introduced in [2]. We formulate it in terms of correlation functions so showing that the introduction of filtering functions is not necessary. We also describe an algorithm of equivalence checking for circuits with a known specification that is based on computation of correlation functions only (no filtering functions are computed).
متن کاملEvolution of Polymorphic Self-checking Circuits
This paper presents elementary circuit components which exhibit self-checking properties; however, which do not utilize any additional signals to indicate the fault. The fault is indicated by generating specific values at some of standard outputs of a given circuit. In particular, various evolved adders containing conventional as well as polymorphic gates are proposed with less than duplication...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ElectroComponent Science and Technology
سال: 1984
ISSN: 0305-3091
DOI: 10.1155/apec.11.215